用与Ｈｅｎｎｅｋｅｍｐｅｒ不同的方法研究了（ｆ＾ｋ＋１）＾（ｋ）的值分布，将Ｈｅｎｎｅｋｅｍｐｅｒ所得的基本不等式推广至小函数情形，得到了如下定理：设ｆ为超越亚纯函数，Ｆ＝（ｆ＾ｋ＋１）＾（ｋ），ｋ∈Ｎ，ψ为非零的小函数，则Ｔ（ｘ，ｆ）≤（１＋２ｋ＋１／４ｋ＾２＋２ｋ－１）Ｎ（ｒ，１／ｆ）＋４ｋ＋２／４ｋ＾２＋２ｋ－１Ｎ↑－（ｒ，１／Ｆ－ψ）＋Ｓ（ｒ，ｆ）。......